Strings over intervals
نویسنده
چکیده
Intervals and the events that occur in them are encoded as strings, elaborating on a conception of events as “intervals cum description.” Notions of satisfaction in interval temporal logics are formulated in terms of strings, and the possibility of computing these via finite-state machines/transducers is investigated. This opens up temporal semantics to finite-state methods, with entailments that are decidable insofar as these can be reduced to inclusions between regular languages.
منابع مشابه
Study of Random Biased d-ary Tries Model
Tries are the most popular data structure on strings. We can construct d-ary tries by using strings over an alphabet leading to d-ary tries. Throughout the paper we assume that strings stored in trie are generated by an appropriate memory less source. In this paper, with a special combinatorial approach we extend their analysis for average profiles to d-ary tries. We use this combinatorial appr...
متن کاملEffects of Disc Insulator Type and Corona Ring on Electric Field and Voltage Distribution over 230-kV Insulator String by Numerical Method
Insulator strings with several material and profiles are very common in overhead transmission lines. However, the electric field and voltage distribution of insulator string is uneven which may easily lead to corona, insulators’ surface deterioration and even flashover. So the calculation of the electric field and voltage distribution along them is a very important factor in the operation time....
متن کاملThe physics of unwound and wound strings on the electric guitar applied to the pitch intervals produced by tremolo/vibrato arm systems
The physics of wound and unwound strings on the electric guitar are presented here, and the pitch intervals produced by the movements of a Fender Stratocaster tremolo unit are explained. Predicted changes in pitch sensitivity of different strings are given, and experimentally verified, for changes in saddle height, the distance of string free to move behind the nut and ratio of diameters/masses...
متن کاملThe Analytic Technique and Experimental Research Methods of Post-buckling about Slender Rod Strings in Wellbore
The buckling behavior of rod strings in wellbore is one of the key issues in petroleum engineering. The slender rod strings in vertical wellbore were selected as research objects. Based on the energy method, the critical load formulas of sinusoidal and helical buckling were derived for the string with the bottom of the wellbore pressure. According to the sinusoidal and helical buckling’s geomet...
متن کاملSegmenting Temporal Intervals for Tense and Aspect
Timelines interpreting interval temporal logic formulas are segmented into strings which serve as semantic representations for tense and aspect. The strings have bounded but refinable granularity, suitable for analyzing (im)perfectivity, durativity, telicity, and various relations including branching.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011